Topological elementary equivalence of closed semi-algebraic sets in the real plane

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane

We investigate topological properties of subsets S of the real plane expressed by rst order logic sentences in the language of the reals aug mented with a binary relation symbol for S Two sets are called topo logically elementary equivalent if they have the same such rst order topological properties The contribution of this paper is a natural and e ective characterization of topological element...

متن کامل

Semi-algebraic neighborhoods of closed semi-algebraic sets

— Given a closed (not necessarly compact) semi-algebraic set X in Rn, we construct a non-negative semi-algebraic C2 function f such that X=f−1(0) and such that for δ > 0 sufficiently small, the inclusion of X in f−1([0, δ]) is a retraction. As a corollary, we obtain several formulas for the Euler characteristic of X. Résumé. — Étant donné un ensemble semi-algébrique fermé (non nécessairement co...

متن کامل

An Elementary Proof of Schmüdgen’s Theorem on the Moment Problem of Closed Semi-algebraic Sets

We prove the main result from Schmüdgen’s 2003 article in a more elementary way. The result states that the question of whether a finitely generated preordering has the so-called strong moment property can be reduced to the same question for preorderings corresponding to fiber sets of bounded polynomials.

متن کامل

Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

It is well-known that any two real closed fields R and S are elementarily equivalent. We can then consider some simple constructions of new structures out of real closed fields, and try to determine if these constructions, when applied to R and S, give elementarily equivalent structures. We can for instance consider def(R, R), the ring of definable functions from R to R, and we obtain without d...

متن کامل

Real Homotopy Theory of Semi-algebraic Sets

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of “semi-algebraic differential forms” in a functorial way. This algebra encodes the real homotopy type of the semialgebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Symbolic Logic

سال: 2000

ISSN: 0022-4812,1943-5886

DOI: 10.2307/2695063